Axiomatization and characterization of BSP algorithms
نویسندگان
چکیده
منابع مشابه
Characterization and axiomatization of all semigroups whose square is group
In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup). Finally, several equivalent conditions ...
متن کاملsynthesis and characterization of some macrocyclic schiff bases
ماکروسیکلهای شیف باز از اهمیت زیادی در شیمی آلی و دارویی برخوردار می باشند. این ماکروسیکلها با دارابودن گروه های مناسب در مکانهای مناسب می توانند فلزاتی مثل مس، نیکل و ... را در حفره های خود به دام انداخته، کمپلکسهای پایدار تولید نمایند. در این پایان نامه ابتدا یک دی آلدئید آروماتیک از گلیسیرین تهیه می شود و در مرحله بعدی واکنش با دی آمینهای آروماتیک و یا آلیفاتیک در رقتهای بسیار زیاد منجر به ت...
15 صفحه اولTowards an Axiomatization of Simple Analog Algorithms
We propose a formalization of analog algorithms, extending the framework of abstract state machines to continuous-time models of computation. The states of ‘continuous’ machinery . . . form a continuous manifold, and the behaviour of the machine is described by a curve on this manifold. All machinery can be regarded as continuous, but when it is possible to regard it as discrete it is usually b...
متن کاملextraction and characterization of allium irancum plant extract and its application in the green synthesis of silver nano particles and oxidation of thiocarbony1 compounds
سنتز سبز نانوذرات فلزی (nps) درسالهای اخیر توجه بسیارزیادی را به خود جلب کرده است. زیرا این پروتوکل کم هزینه وسازگار با محیط زیست از روش های استاندارد سنتز. در این پایان نامه ما گزارش میکنیم یک روش ساده و سازگار با محیط زیست برای سنتز نانوذرات نقره با استفاده از محلول آبی عصاره گیاه allium iranicum به عنوان یک عامل کاهش دهنده ی طبیعی. نانو ذرات نقره مشخص شد با استفاده از تکنیک های uv-visible، x...
Purification and biochemical characterization of three major acidic proteins (BSP-A1, BSP-A2 and BSP-A3) from bovine seminal plasma.
Three major acidic proteins of bovine seminal plasma, BSP-A1, BSP-A2 and BSP-A3, were purified to homogeneity, by employing fast protein liquid chromatography, gel filtration and h.p.l.c. The proteins were purified on the basis of their stimulatory effect on the basal release of gonadotropins by rat anterior-pituitary cells in culture. All three proteins migrated as distinct single bands in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2019
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2019.100479